- modal frame
- Логика: шкала Крипке
Универсальный англо-русский словарь. Академик.ру. 2011.
modal frame
Смотреть что такое "modal frame" в других словарях:
Modal frame — This article is about modal frames in music. For modal logic, see Kripke semantics. In music a melodic mode [1] or modal frame is one of, a number of types permeating and unifying African, European, and American song and melody.[2] Mode and frame … Wikipedia
Modal companion — In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Frame semantics — can refer to:*Kripke semantics semantics for modal logics *Frame semantics (linguistics) linguistic theory developed by Charles J. Fillmore … Wikipedia
Modal window — In user interface design, a modal window is a child window that requires users to interact with it before they can return to operating the parent application, thus preventing the workflow on the application main window. Modal windows are often… … Wikipedia
Modal algebra — In algebra and logic, a modal algebra is a structure such that is a Boolean algebra, is a unary operation on A satisfying and for all x, y in A. Modal algebras provide models of propos … Wikipedia
Modal analysis using FEM — The goal of modal analysis in structural mechanics is to determine the natural mode shapes and frequencies of an object or structure during free vibration. It is common to use the finite element method (FEM) to perform this analysis because, like … Wikipedia
General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Alexandrov topology — In topology, an Alexandrov space (or Alexandrov discrete space) is a topological space in which the intersection of any family of open sets is open. It is an axiom of topology that the intersection of any finite family of open sets is open. In an … Wikipedia
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
